机译:定时PETRI网络,LYAPUNOV方法和MAX-PLUS代数的并行计算机处理系统建模,稳定性分析和时间表设计
机译:通过无穷Petri网和过程代数验证Hypertorus通信网格
机译:Petri网的过程代数:分布式系统的字母顺序。
机译:使用保留属性Petri网过程代数和P / T Petri网过程对分布式编程系统进行建模
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:BioNetSim:基于Petri网的建模工具用于模拟生化过程
机译:盒代数= Petri网+过程表达式
机译:进程代数和petri网中的定时移动性